mệnh đề Từ điển kỹ thuật clause mệnh đề ELSE ELSE clause mệnh đề Horn...
Câu ví dụ
Let P (x) be the statement “x + 1 > x.” Ví dụ: Cho P(x) là hàm mệnh đề “x + 1 > x”.
Let P (x) denote the statement “x > 3.” Ví dụ: Cho P(x) là hàm mệnh đề “x > 3”.
In the theory of generality it is necessary to consider all propositions of the form fx where fx is a given propositional functions. Trong lý thuyết về tính tổng quát, ta nhất thiết phải xem xét mọi mệnh đề có hình thức fx, trong đó fx là một hàm mệnh đề cho sẵn.
For example, let fx be a propositional function (i.e. a function whose values are propositions), such as ``x is human'' -- then the various values of fx form a set of propositions. Chẳng hạn, ta hãy đặt fx là một hàm mệnh đề (tức một hàm có giá trị là những mệnh đề), thí dụ như ‘x là con người’, thì nhiều giá trị khác nhau của fx tạo thành một tập hợp mệnh đề.
For example, let fx be a propositional function (i.e. a function whose values are propositions), such as “x is human” — then the various values of fx form a set of propositions. Chẳng hạn, ta hãy đặt fx là một hàm mệnh đề (tức một hàm có giá trị là những mệnh đề), thí dụ như ‘x là con người’, thì nhiều giá trị khác nhau của fx tạo thành một tập hợp mệnh đề.